- Всеобщий квантор
- Universal quantifier
Русско-английский словарь по прикладной математике и механике. Составитель словаря О.Б. Арушанян. 2013.
Русско-английский словарь по прикладной математике и механике. Составитель словаря О.Б. Арушанян. 2013.
Система аксиом фон Неймана — Cистема аксиом фон Неймана Бернайса Гёделя (NBG, аксиоматика Гёделя Бернайса) в метаматематике одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело Френкеля с … Википедия
Обращение — I Обращение слово или словосочетание, называющее лицо или предмет, к которому обращена речь. О. может быть употреблено вне предложения или в его составе; грамматически оно не связано с членами предложения. О. широко употребляется в языке… … Большая советская энциклопедия